PSPACE-completeness of the Weighted Poset Game
نویسندگان
چکیده
Poset game, which includes some famous games. e.g., Nim and Chomp as sub-games, is an important two-player impartial combinatorial game. The rule of the game is as follows: For a given poset (partial ordered set), each player intern chooses an element and the selected element and it’s descendants (elements succeeding it) are all removed from the poset. A player who choose the last element is the winner. On the complexity of poset game, although it is clearly in PSPACE, it have not known whether it is in P or NP-hard. Recently a weighted poset game, which is a generalization of poset game, have been presented and it was found that some sub-games of it can be solved in polynomial-time. The complexity of this game is also open. This paper shows that weighted poset game is PSPACE-complete even if the weights are restricted in {1,−1}, the dag, which represents the poset, is bipartite, and the length of each path in the dag is at most two.
منابع مشابه
Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete
A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the poset loses. Polynomial time algorithms exist for certain restricted classes of poset games, such as the game of Nim. However, until recently the complexity...
متن کاملOn Two-Level Poset Games
We consider the complexity of determining the winner of a finite, two-level poset game. This is a natural question, as it has been shown recently that determining the winner of a finite, three-level poset game is PSPACE-complete. We give a simple formula allowing one to compute the status of a type of two-level poset game that we call parity-uniform. This class includes significantly more easil...
متن کاملThe PSPACE-Completeness of Black-White Pebbling
The complexity of the black-white pebbling game has remained an open problem for 30 years. In this paper we show that the black-white pebbling game is PSPACE-complete.
متن کاملar X iv : 1 20 1 . 52 98 v 1 [ cs . C C ] 2 5 Ja n 20 12 Scrabble is PSPACE - Complete
In this paper we study the computational complexity of the game of Scrabble. We prove the PSPACE-completeness of a derandomized model of the game, answering an open question of Erik Demaine and Robert Hearn.
متن کاملBlack-White Pebbling is PSPACE-Complete
The complexity of the Black-White Pebbling Game has remained an open problem for 30 years. It was devised to capture the power of non-deterministic space bounded computation. Since then it has been continuously studied and applied to problems in diverse areas of computer science including VLSI design and more recently propositional proof complexity. In 1983, determining its complexity was rated...
متن کامل